#include <arch/gdt.h>
#include <arch/tss.h>

tss_t tss = {
    .link = 0,
    .esp0 = 0,
    .ss0 = SS_R0_DATA
};

void set_tss_esp0(u32 esp0) {
    tss.esp0 = esp0;
}